Works by D. A. Bochvar

( view other items matching `D. A. Bochvar`, view all matches )
Order:
  1.  179
    On a three-valued logical calculus and its application to the analysis of the paradoxes of the classical extended functional calculus.D. A. Bochvar & Merrie Bergmann - 1981 - History and Philosophy of Logic 2 (1-2):87-112.
    A three-valued propositional logic is presented, within which the three values are read as ?true?, ?false? and ?nonsense?. A three-valued extended functional calculus, unrestricted by the theory of types, is then developed. Within the latter system, Bochvar analyzes the Russell paradox and the Grelling-Weyl paradox, formally demonstrating the meaninglessness of both.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   72 citations  
  2.  122
    On the consistency of a three-valued logical calculus.D. A. Bochvar - 1984 - Topoi 3 (1):3-12.
    [This résumé was published in English in Matematicheskii Sbornik along with the article.]The present paper contains an investigation of a three-valued logical calculus (the system) previously described by the author [Recueil Mathématique 4 (46), 2 (1938)].
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation